Philosophie Lexikon der ArgumenteHome
| |||
|
| |||
| Natürliches Schließen, Logik: Kalkül von Gerhard Gentzen (Gentzen, Untersuchungen über das logische Schließen. In Mathematische Zeitschrift Band 39, 1935, S. 176–210, 405–431), der weitgehend ohne Axiome auskommt und stattdessen mit Einführungs- und Eliminationsregeln für die verwendeten Operatoren arbeitet. Annahmen, die im Verlauf gebraucht werden, können zum Teil später eliminiert werden. Siehe auch Axiomatisierung, Axiomensysteme, Axiome, Inferenz. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
| Autor | Begriff | Zusammenfassung/Zitate | Quellen |
|---|---|---|---|
|
Peter Geach über Natürliches Schließen – Lexikon der Argumente
I 143 Kalkül des natürlichen Schließens/Gentzen/Geach: hier gibt es "mögliche Namen" - aber nicht Quantifikation über sie. >Existenzeinführung, >Gerhard Gentzen. GeachVsQuine: So kann er Namen nicht mehr als "verdeckte Kennzeichnungen" auffassen. >Kennzeichnung/Quine, >Namen/Quine, >Kennzeichnung/Geach._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Gea I P.T. Geach Logic Matters Oxford 1972 |
||
> Gegenargumente gegen Geach
> Gegenargumente zu Natürliches Schließen ...
